integral of e^x cos x